body {
  background: white;
  color: black;

  /**** added by JB ****/
  margin-top:0;

}

h1 {
  color: #c33;
  background: none;
  font-weight: bold;
  text-align: center
}

h2 {
  color: #00008b;
  background: none;
  font-weight: bold
}

h3 {
  color: #006400;
  background: none;
  margin-left: 4%;
  margin-right: 4%;
  font-weight: bold
}

h4 {
  margin-left: 6%;
  margin-right: 6%;
  font-weight: bold
}

h5 {
  margin-left: 6%;
  margin-right: 6%;
  font-weight: bold
}

ul, ol, dl, p {
  margin-left: 6%;
  margin-right: 6%
}

ul ul, table ol, table ul, dl ol, dl ul {
  margin-left: 1.2em;
  margin-right: 1%;
  padding-left: 0
}

pre {
  margin-left: 10%;
  white-space: pre
}

table caption {
  font-size: larger;
  font-weight: bolder
}

table p, table dl, ol p, ul p, dl p, blockquote p, .note p, .note ul, .note ol, .note dl, li pre, dd pre {
  margin-left: 0;
  margin-right: 0
}

p.top {
  margin-left: 1%;
  margin-right: 1%
}

blockquote {
  margin-left: 8%;
  margin-right: 8%
}

blockquote pre {
  margin-left: 1%;
  margin-right: 1%
}

dt a {
  font-weight: bold;
  margin-top: .8em
}

a:link {
  color: #00f;
  background: none;
}

a:visited {
  color: #800080;
  background: none;
}

a:active {
  color: green;
  background: #FFD700
}

.html {
  color: #000080;
  background: none
}

.css {
  color: #800000;
  background: none
}

.javascript {
  color: #008000;
  background: none
}

.example { margin-left: 10% }

dfn {
  font-style: normal;
  font-weight: bolder
}

var sub { font-style: normal }

.note {
  font-size: 85%;
  margin-left: 10%
}

.SMA {
  color: fuchsia;
  background: none;
  font-family: Kids, "Comic Sans MS", Jester
}

.oops {
  font-family: Jester, "Comic Sans MS"
}

.author {
  font-style: italic
}

.copyright {
  font-size: smaller;
  text-align: right;
  clear: right
}

.toolbar {
  text-align: center
}

.toolbar IMG {
  float: right
}

.error {
  color: #DC143C;
  background: none;
  text-decoration: none
}

.warning {
  color: #FF4500;
  background: none;
  text-decoration: none
}

.error strong {
  color: #DC143C;
  background: #FFD700;
  text-decoration: none
}

.warning strong {
  color: #FF4500;
  background: #FFD700;
  text-decoration: none
}

.warning a:link, .warning a:visited, .warning a:active {
  color: #FF4500;
  background: none;
  text-decoration: underline
}

.error a:link, .error a:visited, .error a:active {
  color: #DC143C;
  background: none;
  text-decoration: underline
}

.error strong a:link, .error strong a:visited, .error strong a:active {
  color: #DC143C;
  background: #FFD700
}

.warning strong a:link, .warning strong a:visited, .warning strong a:active {
  color: #FF4500;
  background: #FFD700
}

colgroup.entity { text-align: center }

.default { text-decoration: underline; font-style: normal }
.required { font-weight: bold }
td li.transitional, .elements li.transitional {
  font-weight: lighter;
  color: #696969;
  background: none
}
td li.frameset, .elements li.frameset {
  font-weight: lighter;
  color: #808080;
  background: none
}

.footer, .checkedDocument {
  margin-top: 2em;
  padding-top: 1em;
  border-top: solid thin black
}

strong.legal {
  font-weight: normal;
  text-transform: uppercase
}

@media print {
  input#toggler, .toolbar { display: none }
}




/**** added by JB ****/

div.navbar {
   background-color:#002277;
   width:100%;
   font-size:11px;
   font-family:tahoma,arial,sans-serif;
   color:#cccccc;
   padding-top:1px;
   padding-bottom:2px;
   margin-bottom:4px;
}

a.navbar1:link    { background-color:#112277; color:#44dd44; text-decoration:none; }
a.navbar1:visited { background-color:#112277; color:#44dd44; text-decoration:none; }
a.navbar1:active  { background-color:#112277; color:#44dd44; text-decoration:none; }
a.navbar1:hover   { background-color:#112277; color:#66ff66; text-decoration:none; }

a.navbar2:link    { background-color:#112277; color:#eeeeee; text-decoration:none; }
a.navbar2:visited { background-color:#112277; color:#eeeeee; text-decoration:none; }
a.navbar2:active  { background-color:#112277; color:#eeeeee; text-decoration:none; }
a.navbar2:hover   { background-color:#112277; color:#ffffff; text-decoration:none; }

/*div.adright { float:right; margin:10px; }*/

